Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
591	Towards Domain-Specific Property Languages: The ProMoBox Approach Bart Meyers, Manuel Wimmer, Hans Vangheluwe, Joachim Denil The 13th Workshop on Domain-Specific Modeling @ SPLASH 2013 Motivation Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-11-06 12:27:21 Elevator Formal methods Software development Software engineering Philosophy of technology Temporal logic in finite-state verification Model checking Linear temporal logic Domain-specific modeling
592	Controlling Wild Bodies Using Linear Temporal Logic Leonardo Bobadilla Oscar Sanchez Justin Czarnowski [removed] [removed] [removed] Add to Reading List Source URL: msl.cs.uiuc.edu Language: English - Date: 2011-10-14 01:34:06 Modal logic Model checking Robonaut Markov chain Kinematics Logic Linear temporal logic Temporal logic
593	20th International Congress on Modelling and Simulation, Adelaide, Australia, 1–6 December 2013 www.mssanz.org.au/modsim2013 Diagnostic checking for Non-stationary ARMA Models: An Application to Financial Data S.-Q. Li Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-11-19 22:07:14 Parametric statistics Autoregressive–moving-average model Noise Autoregressive conditional heteroskedasticity T-statistic Statistics Time series analysis Econometrics
594	Submitted to the 2004 IEEE Symposium on Security and Privacy, Oakland, CA 2004 Exploring Static Checking for Software Assurance SRL Technical Report SRL[removed]Hao Chen Add to Reading List Source URL: srl.cs.jhu.edu Language: English - Date: 2007-09-20 09:41:43 Linux Kernel Microkernel Linux kernel Model checking EROS Thread Architecture of Windows NT Mach Computer architecture Software System software
595	BDD algorithms and cache misses Draft Nils Klarlund AT&T Bell Laboratories Room 2C-410 Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:47:46 Cache Binary decision diagram Boolean algebra Diagrams Model checking CPU cache Hash table Lookup table Trie Computing Search algorithms Computer programming
596	International Journal of Foundations of Computer Science c World Scientific Publishing Company MONA Implementation Secrets Anders Møller & Michael I. Schwartzbach Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:07:43 Model theory Automata theory Model checking Models of computation Binary decision diagram Boolean algebra First-order logic Finite-state machine CPU cache Mathematical logic Logic Mathematics
597	Technische UniversitŠt MŸnchen FakultŠt fŸr Informatik Lehrstuhl fŸr Programmiermethodik und Verteilte Systeme Univ.-Prof. Dr. M. Broy Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2007-08-26 06:05:19 Petri nets Formal methods Model checking Tamagotchi Software engineering Visual programming language Computer science TAPAAL Model Checker Models of computation Concurrency Diagrams
598	Mona & Fido: The Logic-Automaton Connection in Practice Nils Klarlund AT&T Labs{Research Florham Park, NJ Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:34 Boolean algebra Model checking Mathematics Formal methods Binary decision diagram Models of computation Finite-state machine Tree automaton Computability Automata theory Theoretical computer science Diagrams
599	Institute for Integrated and Intelligent Systems Speaker: Associate Professor Kaile Su - ARC Future Fellow Date: Add to Reading List Source URL: www.griffith.edu.au Language: English - Date: 2014-08-07 20:18:51 AIML Binary decision diagram Professor Model checking Education Academia Knowledge
600	An n log n Algorithm for Online BDD Renement? Nils Klarlund AT&T Labs Research 600 Mountain Ave. Murray Hill, NJ 07974 Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:50:00 Model checking Mathematics Boolean algebra Binary decision diagram Diagrams

UPDATE